o que é predicado e quais são os tipos de predicado